Buy Used and New Michael Kohlhase Books

Omdoc - An Open Markup Format For Mathematical Documents [Version 1.2]: Foreword By Alan Bundy (Lecture Notes In Computer Science / Lecture Notes In Artificial Intelligence): 4180

by Michael Kohlhase

ISBN 13: 9783540378976

Format: Illustrated (456 pages)
Publisher: Springer
Published: 25 Sep 2006

Save for later

Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers: 3863 (Lecture Notes in Computer Science)

by Michael Kohlhase

ISBN 13: 9783540314301

Format: Illustrated (420 pages)
Publisher: Springer Berlin Heidelberg
Published: 01 Feb 2006

Save for later

KI 2006: Advances in Artificial Intelligence: 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 2006 Proceedings: 29th Annual German ... 4314 (Lecture Notes in Computer Science)

by Christian Freksa, Michael Kohlhase, Kerstin Schill

ISBN 13: 9783540699118

Format: Illustrated (472 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later